Cardinal numbers

Results: 114



#Item
71Cardinal numbers / Large cardinals / Set theory / Axiom of choice / Zermelo–Fraenkel set theory / Constructible universe / First-order logic / Mathematical proof / Successor cardinal / Mathematical logic / Mathematics / Logic

Mechanizing Set Theory Cardinal Arithmetic and the Axiom of Choice Lawrence C. Paulson Computer Laboratory, University of Cambridge email: [removed]

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-04-29 07:49:46
72Set theory / Ordinal numbers / Symbol / Cofinality / Stable theory / Tree / Constructible universe / Cardinal number / Weakly compact cardinal / Mathematical logic / Large cardinals / Mathematics

ON HANF NUMBERS OF THE INFINITARY ORDER PROPERTY DRAFT RAMI GROSSBERG AND SAHARON SHELAH

Add to Reading List

Source URL: www.math.cmu.edu

Language: English - Date: 1998-06-09 14:32:15
73Constructible universe / Cardinal number / Tree / Net / Limit ordinal / Ordinal arithmetic / Mahlo cardinal / Mathematical logic / Ordinal numbers / Mathematics

Weak Bisimulation Approximants Will Harwood, Faron Moller , and Anton Setzer Department of Computer Science, Swansea University Singleton Park, Sketty, Swansea SA2 8PP, UK {cswill,f.g.moller,a.g.setzer}@swansea.ac.uk

Add to Reading List

Source URL: www-compsci.swan.ac.uk

Language: English - Date: 2006-07-06 06:30:07
74Mathematics education / Millennium Mathematics Project / Teleconferencing / Counting / Cardinal number / Tray / Cardinality / Mathematics / Education / Mathematical logic

Packing Sorting and describing, using mathematical properties such as size, shape, weight, capacity, distance and pattern Counting and comparing numbers Children often enjoy putting “like” things together, when putt

Add to Reading List

Source URL: nrich.maths.org

Language: English - Date: 2012-12-20 06:10:59
75Set theory / General topology / Constructible universe / Tree / Cardinal number / Net / Ordinal arithmetic / Mahlo cardinal / Mathematical logic / Mathematics / Ordinal numbers

Weak Bisimulation Approximants Will Harwood, Faron Moller, and Anton Setzer⋆ Department of Computer Science, Swansea University Singleton Park, Sketty, Swansea SA2 8PP, UK {cswill,f.g.moller,a.g.setzer}@swansea.ac.uk

Add to Reading List

Source URL: www.cs.swan.ac.uk

Language: English - Date: 2007-02-18 17:32:00
76Mathematical logic / Countable set / Finite set / Infinite set / Ordinal number / Compact space / Topology / Mathematics / Cardinal numbers

Math 425a, Fall 2010 Homework Assignments Students should do all of the assigned homework. I will not collect all of the homework.

Add to Reading List

Source URL: math.arizona.edu

Language: English - Date: 2010-11-23 13:51:57
77Cardinal numbers / Infinity / Set theory / Formal systems / Real number / Georg Cantor / Axiom of choice / Uncountable set / Continuum hypothesis / Mathematics / Mathematical logic / Logic

Annals of the Japan Association for Philosophy of Science Vol[removed]

Add to Reading List

Source URL: math.bu.edu

Language: English - Date: 2012-03-06 14:12:29
78Cardinal numbers / Georg Cantor / Ordinal number / Transfinite number / Finite set / Infinity / Function / Well-order / Continuum hypothesis / Mathematics / Mathematical logic / Set theory

2.3 Cantor’s Infinite Numbers 75

Add to Reading List

Source URL: www.math.nmsu.edu

Language: English - Date: 2014-04-24 23:01:07
79Cardinal numbers / Infinity / Ordinal numbers / Order theory / Georg Cantor / Number / Aleph number / Well-order / Cardinality / Mathematics / Mathematical logic / Set theory

This is page 54 Printer: Opaque this

Add to Reading List

Source URL: www.math.nmsu.edu

Language: English - Date: 2014-04-24 23:01:07
80Dedekind-infinite set / Axiom of choice / Order theory / Locally finite collection / Amorphous set / Mathematics / Cardinal numbers / Finite set

DEFINITIONS OF FINITENESS BASED ON ORDER PROPERTIES OMAR DE LA CRUZ, DAMIR D. DZHAFAROV, AND ERIC J. HALL

Add to Reading List

Source URL: h.web.umkc.edu

Language: English - Date: 2005-10-03 16:55:57
UPDATE